@CHARSET "UTF-8";
#resultDiv{
		width : 300px;
		height : 100px;
		font-size : 25px;
		overflow : auto;
		border : 2px solid #0000ff;
}